Enabling reasoning with LegalRuleML
نویسندگان
چکیده
منابع مشابه
Enabling Reasoning with LegalRuleML
In order to automate verification process, regulatory rules written in natural language needs to be translated into a format that machines can understand. However, none of the existing formalisms can fully represent the elements that appear in legal norms. For instance, most of these formalisms do not provide features to capture the behavior of deontic effects, which is an important aspect in a...
متن کاملLegal Interpretations in LegalRuleML
Legislative documents are by their own nature subject to interpretation, and interpretations of one document can diverge. In this paper we discuss the mechanism proposed by LegalRuleML to capture alternative interpretations or renderings of a legal source. LegalRuleML allows for mutually incompatible renderings (or interpretations) of a legal source to coexist in the same LegalRuleML document, ...
متن کاملLegalRuleML: Design Principles and Foundations
This tutorial presents the principles of the OASIS LegalRuleML applied to the legal domain and discuss why, how, and when LegalRuleML is wellsuited for modelling norms. To provide a framework of reference, we present a comprehensive list of requirements for devising rule interchange languages that capture the peculiarities of legal rule modelling in support of legal reasoning. The tutorial comp...
متن کاملEnabling Scalable Semantic Reasoning for Mobile Services
With the emergence of high-end smart phones/PDAs there is a growing opportunity to enrich mobile/pervasive services with semantic reasoning. This article presents novel strategies for optimising semantic reasoning for realising semantic applications and services on mobile devices. We have developed the mTableaux algorithm which optimises the reasoning process to facilitate service selection. We...
متن کاملSCRY: Enabling Quantitative Reasoning in SPARQL Queries
The inability to include quantitative reasoning in SPARQL queries slows down the application of Semantic Web technology in the life sciences. SCRY, our SPARQL compatible service layer, improves this by executing services at query time and making their outputs query-accessible, generating RDF data on demand. The power of this approach is demonstrated with two use cases, where we use SCRY to calc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2018
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068418000339